Holistic System Modeling and Refinement of Interconnected Microelectronic Systems
نویسندگان
چکیده
In this paper, we propose an approach for modeling distributed embedded systems in a holistic way starting from an abstract specification of system requirements. We use the Unified Modeling Language (UML), which is very popular in software modeling and development, for describing both the target platform and the functionality, which has to be performed on that target platform, at a high abstraction level even at system level. Therefore, we extended the existing UML profile MARTE to meet the requirements of distributed systems. These extensions enable to associate the elements of the model semantically and hence to use UML as a common underlying data model for system representation. Based on the holistic modeling approach an executable simulation model is generated in SystemC to facilitate exploration and verification of system behavior.
منابع مشابه
Decentralized Model Reference Adaptive Control of Large Scale Interconnected Systems with Time-Delays in States and Inputs
This paper investigates the problem of decentralized model reference adaptive control (MRAC) for a class of large scale systems with time varying delays in interconnected terms and state and input delays. The upper bounds of the interconnection terms are considered to be unknown. Time varying delays in the nonlinear interconnection terms are bounded and nonnegative continuous functions and thei...
متن کاملOn DC-Segmentation of Interconnected Power Systems
The ultimate goal of power system operation and planning is to increase power system reliability which enforces interconnected operation of power system. As a result of power system interconnection, the inter-area oscillation under different disturbances may cause power system partial or total blackout. DC-segmentation of interconnected power systems is a solution in which the topology of the n...
متن کاملApplication of ANN Technique for Interconnected Power System Load Frequency Control (RESEARCH NOTE)
This paper describes an application of Artificial Neural Networks (ANN) to Load Frequency Control (LFC) of nonlinear power systems. Power systems, such as other industrial processes, have parametric uncertainties that for controller design had to take the uncertainties in to account. For this reason, in the design of LFC controller the idea of robust control theories are being used. To improve ...
متن کاملLoad frequency control of two-area interconnected power system using fuzzy logic control approach
Power systems are composed of power units that are constantly connected to each other and the electric power flux is constantly moving between them. All systems must be implemented in such a way that not only under normal conditions but also unwanted inputs or disturbances, are applied. It also remains stable or returns to a stable name at the earliest possible time. The fundamental factors...
متن کاملVerification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
Information and communication systems enter an increasing number of areas of daily lives. Our reliance and dependence on the functioning of such systems is rapidly growing together with the costs and the impact of system failures. At the same time the complexity of hardware and software systems extends to new limits as modern hardware architectures become more and more parallel, dynamic and het...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008